Distributed Algorithms for SCC Decomposition

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Distributed Algorithms for SCC Decomposition

We study existing parallel algorithms for the decomposition of a partitioned graph into its strongly connected components. In particular, we identify several individual procedures that the algorithms are assembled from and show how to assemble a new and more efficient algorithm, called Recursive OBF, to solve the decomposition problem. We also report on a thorough experimental study to evaluate...

متن کامل

Decomposition Algorithms for Distributionally

We study distributionally robust optimization (DRO) problems where the ambiguity 4 set is defined using the Wasserstein metric. We show that this class of DRO problems can be 5 reformulated as semi-infinite programs. We give an exchange method to solve the reformulated 6 problem for the general nonlinear model, and a central cutting-surface method for the convex case, 7 assuming that we have a ...

متن کامل

Parallel and distributed vision algorithms using dual decomposition

We investigate dual decomposition approaches for optimization problems arising in low-level vision. Dual decomposition can be used to parallelize existing algorithms, reduce memory requirements and to obtain approximate solutions of hard problems. An extensive set of experiments are performed for a variety of application problems including graph cut segmentation, curvature regularization and mo...

متن کامل

Refining SCC decomposition in argumentation semantics: a first investigation

In the recently proposed SCC-recursive approach to argumentation semantics, the strongly connected components of an argumentation framework are used as the basic elements for the incremental construction of extensions. In this paper we argue that a finer decomposition, considering some suitably defined internal substructures of strongly connected components, called autonomous fragments, may be ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2009

ISSN: 0955-792X,1465-363X

DOI: 10.1093/logcom/exp003